https://filesoo.com/product/30909/reasoning-about-rational-agents